Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints
نویسندگان
چکیده
Causality has been recently introduced in databases, to model, characterize, and possibly compute causes for query answers. Connections between QAcausality and consistency-based diagnosis and database repairs (wrt. integrity constraint violations) have already been established. In this work we establish precise connections between QA-causality and both abductive diagnosis and the view-update problem in databases, allowing us to obtain new algorithmic and complexity results for QA-causality. We also obtain new results on the complexity of view-conditioned causality, and investigate the notion of QA-causality in the presence of integrity constraints, obtaining complexity results from a connection with view-conditioned causality. The abduction connection under integrity constraints allows us to obtain algorithmic tools for QA-causality.
منابع مشابه
Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints
Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between queryanswer causality, consistency-based diagnosis, database repairs (wrt. integrity constraint violations), abductive diagnosis and the view-update problem have been established. In this work we further investigate connections between query-an...
متن کاملDisjunctive Deductive Databases for Computing Certain and Consistent Answers to Queries from Mediated Data Integration Systems
We address the problem of retrieving certain and consistent answers to queries posed to a mediated data integration system with open sources under the local-as-view paradigm using conjunctive and disjunctive view definitions. For obtaining certain answers a query program is run on top of a normal deductive database with choice that defines the class of minimal legal instances of the integration...
متن کاملDeductive databases for computing certain and consistent answers from mediated data integration systems
We address the problem of retrieving certain and consistent answers to queries posed to a mediated data integration system under the local-as-view paradigm with open sources and conjunctive and disjunctive view definitions. For obtaining certain answers a query program is run under the cautious stable model semantics on top of a normal deductive database with choice operator that specifies the ...
متن کاملQuery-Answer Causality in Databases: Abductive Diagnosis and View Updates
Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between query causality and consistency-based diagnosis and database repairs (wrt. integrity constrain violations) have been established in the literature. In this work we establish connections between query causality and abductive diagnosis and the vi...
متن کاملConsistent Query Answers on Numerical Databases Under Aggregate Constraints
The problem of extracting consistent information from relational databases violating integrity constraints on numerical data is addressed. In particular, aggregate constraints defined as linear inequalities on aggregate-sum queries on input data are considered. The notion of repair as consistent set of updates at attributevalue level is exploited, and the characterization of several complexity ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Approx. Reasoning
 
دوره 90 شماره
صفحات -
تاریخ انتشار 2017